Философская энциклопедия - суждение

Видовые различия С. зависят от объема и содержания отображаемых предметов и от характера связи предметов и свойств. В соответствии с традиционными логическими представлениями структура простого атрибутивного С. включает в себя следующие базовые компоненты: два термина и связку. Один из терминов обозначает понятие объекта С. и называется субъектом (лат. subjectum), другой обозначает свойство или группу свойств, приписываемых данному объекту, и называется предикатом (лат. praedicatum). Связка обозначает отношение приписывания или отрицания свойств объекту и определяет деление атрибутивных С. по качеству на утвердительные и отрицательные. Последние нельзя смешивать с отрицаемыми и отрицающими С., сущность которых определяется не их утвердительной или отрицательной формой, а характером взаимоотношения между данными С. Отрицающим называется такое С., которое указывает на ложность другого С., называющегося отрицаемым.

Также в структуру атрибутивных С. могут входить кванторы, определяющие деление С. по количеству (объему) отображаемых в субъекте предметов. С., в котором что-либо утверждается или отрицается об отдельном предмете, классе или агрегате предметов в целом, называется единичным С. С., в котором что-либо утверждается или отрицается о части предметов какого-либо класса, называется частным С. Можно выделить две группы частных С.: в определенных частных С. имеется в виду только некоторая определенная часть предметов какого-либо класса, в неопределенных частных С. имеется в виду наличие хотя бы некоторых предметов какого-либо класса. С., в котором что-либо утверждается или отрицается о каждом предмете какого-либо класса, называется общим С.

Модальности определяют деление С. по степени существенности для предмета отображаемого свойства на проблематические (возможности), ассерторические (действительности) и аподиктические (необходимости). По характеру связи отображаемых предметов и их свойств С. делятся на условные, разделительные и категорические. Кроме атрибутивных существуют реляционные С., т. е. отображающие отношения между предметами, и экзистенциальные С., сообщающие о существовании предмета.

С. не следует смешивать с выражающими их в естественном языке предложениями и обозначающими их высказываниями. Наблюдается значительное сходство в строении С. и предложения, т. к. группа грамматического подлежащего в предложении в большинстве случаев совпадает с субъектом (логическим подлежащим), а группа грамматического сказуемого предложения соответствует предикату (логическому сказуемому). Однако наряду со сходством имеются и существенные различия. Так, всякое С. находит свое выражение в предложении, ко далеко не всякое предложение обязано выражать С. Даже повествовательные предложения, в которых что-либо сообщается, т. е. утверждается или отрицается, не всегда дают возможность определить соответствующее им С., вопрос же о логической структуре С., выраженных предложениями вопросительными, побудительными, оценочными и др., предполагает дальнейшее уточнение и развитие традиционных представлений о С. Еще Аристотель говорил, что не всякая речь заключает в себе С., а лишь та, в которой заключается истинность или ложность чего-либо. Так, например, оптатив (положение) есть речь, но не истинная и не ложная.

Высказывание, в отличие от С., является элементом неинтерпретированного исчисления, тогда как С. обладает семантической интерпретацией. Высказывание в семантической системе определяется через синтаксические правила построения, которые задают правильные формы выражений; такое определение является формальным в том смысле, что указывает только на внешний вид (форму) выражений, а не их значение. Высказывания в некотором смысле базовые элементы логики, т. к. именно они принимают истинностные значения Отождествлять высказывание с повествовательным предложением наивно, т. к. сообщение об истинном положении дел можно получить без грамматического оформления, например, в деонтических (нормативных) контекстах.

А. Г. Кислое